基于边缘检测技术的温度计自动检定装置研制

为了解决人工检定温度计存在的工作效率低、劳动强度高、读数误差大和检定油烟重等问题,运用边缘检测技术,先对图像作预处理,再利用经典的Sobel边缘检测算子和三线识别方法,将温度计液柱图像转换为数字化的温度计示值;对温度计检定槽进行自动化改造,由计算机控制温度计插槽旋转角度和摄像机运动高度,再由单片机控制执行指令,将采集的图像传给计算机,从而研制出温度计自动检定装置,并实现计算机自动处理检定信息、打印原始记录和检定证书。     

指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

用随机仿真方法验证液体火箭发动机静特性数学模型

以某泵压式液体火箭发动机为研究对象，用试车数据对发动机静特性数学模型进行了验证，在验证模型时既考虑了外部干扰因素的实际测量误差范围和内部干扰因素的实际变化范围，又考虑了发动机参数实测量的误差范围，并且使用了随机仿真的方法。验证结果表明，发动机静特性的非线性数学模型是足够准确的，所用的计算方法是合理的。     

关于战术导弹的储存可靠性问题

本文依据战术导弹储存可靠性的研究与实践,结合导弹的特点,论述了储存状态的界定,储存可靠性的有关基本概念和有关指标。探讨研究了导弹储存可靠性的储存条件与方式、试验验证与数据库等问题。     

射频隐身反隐身E&V系统的设计与实现

针对战机射频隐身性能很难评估的现实问题,提出一种射频隐身反隐身实验与验证半实物仿真系统的设计与实现方法。该系统不仅能对战机的射频隐身性能进行验证,同时还可以对飞机的隐身波形、辐射策略等设计提供理论依据和实验支撑。在分析辐射信号模型以及截获模型的基础上,详细介绍了该系统的各功能组成和结构框图。该系统可以开展对于射频隐身的作战需求、管控模型、使用准则等方面的定量研究,对于提高战机的生存能力、突防能力和作战能力具有重要的意义。     

需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

雷达检测概率的计算

雷达检测概率是评估雷达系统效能的重要指标,一般分为单脉冲检测概率和多脉冲检测概率.单脉冲检测概率的计算常用方法有两种,对这两种计算方法进行了验证,得出了两种计算方法相一致的结论.多脉冲的计算比较复杂,在原公式推导的基础上改进了多脉冲检测概率的计算模型,解决了原计算公式中脉冲积累数条件较难满足和虚警概率固定的问题.     

任务空间概念模型VV&A研究

任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少。因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。概要介绍了任务空间概念模型建模,并且提出了从专家法、静态校核机制、概念执行机制三个角度来考察模型质量的思路。     

滚动轴承加速寿命试验技术研究

为了有效地获取滚动轴承具有可比性的加速寿命试验数据,利用已有加速寿命试验相关标准,结合实际滚动轴承加速寿命试验设计和实施中积累的经验,深入分析滚动轴承加速寿命试验过程中遇到的各种问题,提出一套完整的滚动轴承加速寿命试验方法。该方法对相关标准没有涉及的试验前检查、试验条件一致性分析和试验数据的处理方法进行了补充并对加速寿命试验进行深入分析,形成完整的滚动轴承加速寿命试验解决方案,可以有效地指导滚动轴承加速寿命试验的设计和实施。     

舰载指控系统软件可靠性模型分析

在对软件可靠性模型领域的众多模型进行全面分析研究的基础上,通过对从事海军指控系统软件研制单位的部分专家的实地调查,运用Ｂａｙｅｓ检验方法对专家信息进行处理,进而提出了适合舰载指挥控制系统的软件可靠性推荐模型．借鉴Ｓｃｈｎｅｉｄｅｗｉｎｄ模型在美国航天飞机飞行控制系统模型评估中的成功应用,把Ｓｃｈｎｅｉ－ｄｅｗｉｎｄ模型参数估计的思想方法运用到我们所选择的舰载指控系统软件可靠性模型中,并给出了用数据分析、判断模型的具体事例．